Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
521	SOFTWARE—PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2004; 00:1–7 Prepared using speauth.cls [Version: [removed]v2.2] JiST: An efficient approach Add to Reading List Source URL: jist.ece.cornell.edu Language: English - Date: 2013-12-04 22:11:13 Operations research Electronic engineering Electronic design automation Logic simulation Scientific modelling Reverse computation Discrete event simulation Simula Aggregate Level Simulation Protocol Simulation Computing Scientific modeling
522	Designing for High Speed-Performance in CPLDs and FPGAs Zeljko Zilic, Guy Lemieux, Kelvin Loveless, Stephen Brown, and Zvonko Vranesic Department of Electrical and Computer Engineering, University of Toronto, Canada emai Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 1999-09-21 22:20:51 Electronic design automation Electronic design Fabless semiconductor companies Complex programmable logic device Altera Field-programmable gate array Programmable logic device Counter Logic gate Electronic engineering Electronics Digital electronics
523	Success Story Synopsys and Ricoh Ricoh Optimizes New Multi-Function Printer SoC Architecture with Synopsys Platform Architect MCO Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-12-30 08:15:46 Hardware verification languages Hillsboro Oregon Synopsys High-level synthesis SystemC System on a chip Logic synthesis Ricoh Electronic engineering Electronic design automation Electronic design
524	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
525	Synopsys Hybrid Prototyping Solution `` Integrates Virtual and FPGA-Based Prototypes `` Start multicore SoC prototyping earlier Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-06 15:46:48 Field-programmable gate array Synopsys SystemC Prototype Embedded system Catapult C Hardware emulation Electronic engineering Electronic design automation FPGA prototype
526	Towards Building Wind Tunnels for Data Center Design Avrilia Floratou Frank Bertsch Jignesh M. Patel Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-04-05 17:13:23 Electronic engineering Simulation Electronic design automation Software development Operations research Database Logic simulation Reliability engineering Replication Computing Scientific modeling Science
527	Microsoft Word - Document2 Add to Reading List Source URL: www.trilogydesign.com Language: English - Date: 2007-09-21 11:33:12 Engineering Change Order ECO Database QuickBooks Technology Data management Electronic design automation Engineering
528	Engineers’ Guide to FPGA & PLD Solutions Automotive Electronics Fuels Need for High-Reliability Devices FPGAs: Good Company in Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-03 08:15:35 Electronic design automation Reconfigurable computing Field-programmable gate array Xilinx Altera Logic synthesis Application-specific integrated circuit Synopsys High-level synthesis Electronic engineering Electronics Fabless semiconductor companies
529	FabSim A (semiconductor) factory simulator FabSim Structure FabSim Interactive is a compact fab simulator contained in a single C++ Windows dynamic link library. The dll is controlled by a supervisor program written in B Add to Reading List Source URL: www.fabsim.com Language: English - Date: 2004-11-16 14:58:28 Electronic design automation Operations research Simulation Logic simulation Semiconductor fabrication plant Simulation software Electronic engineering Digital electronics Logic design
530	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods

UPDATE